Section: New Software and Platforms

New Software

Coq-Polyhedra is a library which aims at formalizing convex polyhedra in Coq. A description of the associated contributions can be found in Section 7.3.1. Coq-Polyhedra is distributed under the CeCILL-B licence, and can be found at https://github.com/nhojem/Coq-Polyhedra.